((The body proportions of the high jumper))